package br.pucrio.inf.tamdera;

import java.util.List;

/**
 * Controller the execution of Tamdera by delegating requests to ass the mapping of concepts and
 * parsing
 * 
 * @author Alessandro
 *
 */
public class TamderaController 
{
	public TamderaController( String specFilePath, String metricFilePath,
			String prologProjectFilePath ) {
		super();
		specManager = new TamderaSpecManager(specFilePath, metricFilePath, prologProjectFilePath, this);
	}

	/* AST internal manager that checks the conformance of design rules*/
	private TamderaSpecManager specManager;


	public  void checkConformanceOfDesignRules () 
	{
		List<String> neglections = specManager.checkConformanceOfDesignRules();
	}


	public void checkConsistencyOfDesignRules() {
		List<String> neglections = specManager.checkConsistencyOfDesignRules();
	}
}
